Sat Is Np-Hard - Intro To Algorithms